1. Advanced concepts for intelligent vision systems :
Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
Classification :
TA1634
2. EMSOFT 2004 : fourth ACM International Conference on Embedded Software, September 27-29, 2004, Pisa, Italy
Author: Program & General chair: Giorgio Buttazzo; sponsored by ACM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
76
.
D47E57
2004
3. Embedded software for SoC
Author: / edited by Ahmed Amine Jerraya ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
Classification :
QA76
.
76
.
D47
,
E46
2003
4. Embedded software for SoC
Author: / edited by Ahmed Amine Jerraya ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
Classification :
QA76
.
76
.
D47
,
E46
2003
5. Embedded software : second International conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
Author: Alberto Sangiovanni-Vincentelli, Joseph Sifakis )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
L28
Vol
.
2491
6. Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
Author: Rajeev Alur, Insup Lee )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
L28
Vol
.
2855
7. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
8. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
9. Poceedings of the Fifth ACM International Conference on Embedded Software : EMsoft, September 19-22, 2005, Jersey City, New Jersey, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
76
.
D47E57
2005
10. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
11. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
12. Software architecture :
Author: Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
13. Software engineering
Author: Oscar Nierstrasz, Michel Lemoine (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.
